C:/Home/Cipak/UPT/PublicationsSACIaccepted/paper/paper.dvi

Source URL: www.islavici.ro

• Software engineering
• Software quality
• Systems engineering
• Software metrics
• Source code
• Systems thinking
• ISO/IEC
• Reliability engineering
• Static program analysis
• NDepend
• Software testing
• Non-functional requirement

Support vector machines, data reduction, and approximate kernel matrices XuanLong Nguyen1 , Ling Huang2 , and Anthony D. Joseph3 1 SAMSI & Duke University,

Source URL: dept.stat.lsa.umich.edu

• Statistics
• Mathematical analysis
• Mathematics
• Statistical classification
• Functional analysis
• Linear algebra
• Numerical linear algebra
• Support vector machine
• Kernel method
• Kernel
• Normal distribution
• Matrix

Making classical functions smooth An Example of the Theme Two questions: Is it true that for all B ∈ [R × R]ℵ1 , B can be covered by countably many curves / arcs?

Source URL: spot.colorado.edu

• Mathematical analysis
• Mathematics
• Forcing
• Operator theory
• Differential forms
• Functional analysis
• Spectral theory
• Fourier analysis
• Differential forms on a Riemann surface
• Leibniz integral rule

Blind restoration of blurred photographs via AR modelling and MCMC

Source URL: decsai.ugr.es

• Mathematical analysis
• Statistics
• Mathematics
• Functional analysis
• Image processing
• Signal processing
• Fourier analysis
• Statistical theory
• Convolution
• Maximum likelihood estimation
• Distribution
• Normal distribution

RATES OF CONVERGENCE AND METASTABILITY FOR ABSTRACT CAUCHY PROBLEMS GENERATED BY ACCRETIVE OPERATORS ULRICH KOHLENBACH AND ANGELIKI KOUTSOUKOU-ARGYRAKI Department of Mathematics

Source URL: www.mathematik.tu-darmstadt.de

• Operator theory
• Functional analysis
• Uniform boundedness principle
• Partial differential equation
• Uniform space
• Complex analysis
• NeumannPoincar operator
• Contraction

Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization∗ Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe–Universitt Robert–Mayer–Str. 6–10, 6000 F

Source URL: www.mathematik.tu-darmstadt.de

• Computability theory
• Mathematical logic
• Logic
• Primitive recursive functional
• Proof theory
• Symbol
• Mathematics
• Table of stars with Bayer designations

On uniform weak K¨onig’s lemma Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade

Source URL: www.mathematik.tu-darmstadt.de

• Computability theory
• Proof theory
• Mathematical logic
• Predicate logic
• Logic in computer science
• Primitive recursive functional
• Reverse mathematics
• Primitive recursive function
• Primitive recursive arithmetic
• First-order logic
• Peano axioms
• Ordinal analysis

April 25, 2013 (last update: March 14, LECTURE NOTES ON THE YAMADA–WATANABE CONDITION FOR THE PATHWISE UNIQUENESS OF SOLUTIONS OF CERTAIN STOCHASTIC DIFFERENTIAL EQUATIONS ¨

Source URL: www.fam.tuwien.ac.at

• Mathematical analysis
• Distribution
• Functional analysis
• Lie algebras
• Symbol
• Table of stars with Bayer designations

c 2000 Nonlinear Phenomena in Complex Systems ° Application of Some Concepts and Methods of Functional Analysis in Experimental Studies of Nonlinear Phenomena Alexander D. Linkevich

Source URL: www.j-npcs.org

Some logical metatheorems with applications in functional analysis Ulrich Kohlenbach∗ BRICS† Department of Computer Science University of Aarhus

Source URL: www.mathematik.tu-darmstadt.de

• Metric geometry
• Space
• Mathematics
• Topology
• Structure
• Topological spaces
• Metric
• Complete metric space
• operator
• Spectral theory of ordinary differential equations